A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time
نویسندگان
چکیده
منابع مشابه
A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time
Confluence reduction and partial order reduction by means of ample sets are two different techniques for state space reduction in both traditional and probabilistic model checking. This paper provides an extensive comparison between these two methods, and answers the question how they relate in terms of reduction power when preserving branching time properties. We prove that, while both preserv...
متن کاملWhy Confluence is More Powerful than Ample Sets in Probabilistic and Non-Probabilistic Branching Time
Confluence reduction and partial order reduction by means of ample sets are two different techniques for state space reduction in both traditional and probabilistic model checking. This presentation provides an extensive comparison between these two methods, answering the long-standing question of how they relate. We show that, while both preserve branching time properties, confluence reduction...
متن کاملConfluence versus Ample Sets in Probabilistic Branching Time
To improve the efficiency of model checking in general, and probabilistic model checking in particular, several reduction techniques have been introduced. Two of these, confluence reduction and partial-order reduction by means of ample sets, are based on similar principles, and both preserve branching-time properties for probabilistic models. Confluence reduction has been introduced for probabi...
متن کاملassessment of deep word knowledge in elementary and advanced iranian efl learners: a comparison of selective and productive wat tasks
testing plays a vital role in any language teaching program. it allows teachers and stakeholders, including program administrators, parents, admissions officers and prospective employers to be assured that the learners are progressing according to an accepted standard (douglas, 2010). the problems currently facing language testers have both practical and theoretical implications but the first i...
features of short story in translated and non-translated literature: a polysystemic perspective
ترجمه متون ادبی در دنیای امروز از اهمیت ویژه ای برخوردار است. فرهنگ های مختلف با استفاده از متون ادبی ملل و فرهنگ های دیگر سعی در غنی کردن فرهنگ و ادبیات کشور خود دارند. کشور ما نیز از این قاعده مستثنی نیست. در ایران، ترجمه متون ادبی اروپائی که با دوران مشروطه ایرانی آغاز می شود موجب تغییرات اساسی در فرهنگ، شیوه زندگی و تفکر ایرانیان شده است. در این دوران نه تنها در امورات سیاسی و فکری کشور تغی...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2014
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2013.07.014